How to Specify the Flow of Data Accessibility: An OO Way of Concurrent Programming
نویسنده
چکیده
Program structures appropriate for concurrency are often in conflict with object-oriented principles. Especially average programmers need high-level language constructs for concurrency with good integration into the object-oriented paradigm. A key concept in this respect is better static knowledge of the data flow. We propose to explicitly specify the flow of data accessibility in a program. This information is sufficient for a compiler to automatically spawn threads and add synchronization as necessary. Programmers regard the specifications just as assertions.
منابع مشابه
Formal Semantics for Structured Analysis Style Data Flow Diagram Specification Languages
Using operational semantic techniques, we present a formal semantics for an extended variant of structured analysis style data flow diagrams. This semantics is intended to serve as a semantic foundation for many different specification languages that specify concurrent systems using a graphical notation similar to data flow diagrams. Besides allowing one to specify how information is processed,...
متن کاملThe Effectiveness of Genetic Planning Model in rainfall-runoff Simulation process
The prediction of river, s discharge rate is one of the important issues in water resources engineering. This issue is very important for the planning, management, and policy making in water resources management, especially in the country like Iran, with limited water resources in line the economic and environmental development. Awareness of how the relationship between rainfall and run...
متن کاملPatient Flow Analysis in General Hospitals: How Clinical Disciplines Affect Outpatient Wait Times
Background: Overcrowding is an important problem for outpatient services in healthcare facilities. Patient flow analysis (PFA) is a useful method for identifying inefficiencies in and facilitating patient flow. Objective: PFA was used to estimate patient wait time and determine how different clinical disciplines impact wait times in the studied hospital.<...
متن کاملDiscretionary Information Flow Control for Interaction-Oriented Specifications
This paper presents an approach to specify and check discretionary information flow properties of concurrent systems. The approach is inspired by the success of the interaction-oriented paradigm to concurrent systems (cf. choreographies, behavioural types, protocols,...) in providing behavioural guarantees of global properties such as deadlock-absence. We show how some information flow properti...
متن کاملA Multimedia Programming Model Based on Timed Concurrent Constraint Programming
We propose the development of multimedia programming frameworks based on the declarative logic programming setting and in particular the framework of object-oriented timed concurrent constraint programming (OO-TCCP). The real-time extensions that have been proposed for the concurrent constraint programming framework are coupled with the object-oriented and inheritance mechanisms that have been ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009